" #$ +. 0. + 4 6 4 : + 4 ; 6 4 < = =@ = = =@ = =@
" #$ P UTS W U X [ZY \ Z _ `a \ dfe ih j mlk n p q sr t u s q e ps s t x q s y i_z { U U z W } y ~ y x t i e l US T { d ƒ ƒ ƒ j s q e uˆ ps i ˆ p q y h Š Ž Œ d j pr ~ s s} S X _ \ X Z d e h ƒ ƒ ƒ ƒ ƒ ƒ j U
U h srq ry r xy t h X h ž srq ry S U UŸ T r xy t jj ž lk i s srq ry z U { ih srq y r xy t j X š ` Y Y d h jj _ \ X Z d e Z ž di s jh ~ x p~ˆ t d ZX ž di s jj j l US { s q e uˆ ps X d h X [ZY Z\ _ `a \ d e hœ d h ~ x p~ˆ t P UTS W U _ \ _ X Z dfe s r h ~ x t p~ˆ h " #$
ª à ³ ³ ³ ³ ³ º««³ ³ ± ² ³ Ä Á  ½ µ ³ ¹ À ¹ ½ ª Ä ¾ ± ¹ ½ ««± ª «ª ª µ ³ ¹ º««½ Ä " #$
Ä " #$ Å Æ + + + + Æ 4 ; É ; ÌË ; Í ; ;. Î Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó ÕÅ Ó + Ð < ; Í Ö + + + ; + 4 4 ; 4 + Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó ÕÅ Õ Õ < ; Í Ö + + + ; + 4 4 ; 4 + Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó ÕÅ Å + Ø Õ Ú Ó < ; Í Ö + + ; À + Ý Þàß á Õ + < ã Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó ÕÅ É Æ Õ < ; Í Ö + + + ; Ä + + ; 4 ; 4 +
; á Ð 4 ; Ö ÕÅ å á ã Ö ÕÅ ; ; 4 Ö á ÕÅ ; ä 4 + + Ý Þ ß ê á Î á Õ + Ó + Í + + + ; Ä ç Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó éè ; Ð Õ < Í. ; + < ¾ Æ Ý Þ ß + Ô Õ æ + + ; Ä ¾ À < Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó Æ < Í + ; 4 + + + ; Ä ¾ + Ý Þàß + Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó Ô Õ < Í " #$
ÕÅ ; á Ð ; + Æ Ö ÕÅ Ó ; ã å á ë + ;. ì ç Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó : + Ð < Í Þ ß ê á Î á Õ + < + + Ý ; + + + ; + Ý Þ ê á Ï ÑÐ ÒÓ Ñ Ô Ë :É Ó + < Í À Æ Ý Þ ß + < " #$
í î ï " #$ Ó Æ Ø + Ï ð ; : Ø + Æ + + ; + ó ò ô ò õñ ö ñ ö õñ å ; ; ; + ø å ; Ø Æ 4 Æ. Ó Æ Ø + + ; Ø ; ûú Æ <ü þýö ÿ óö ñ òö ò ô ; Æ 4 + ; + ; Ø å ; ; ; + Ó
fr eah end return the unin f ST STqlist ansers end fr eah sentene p pn q i in suh that i ansers ST SUST i [ p... pnps i ansers... UYq q i sueeds d if qlist is empty then return q STqlist fr eah q i in suh that i dd PS i t ansers UYq q i sueeds d funtin ST qlist returns a set f sustitutins inputs: a knlede ase qlist a list f njunts frmin a query already applied the urrent sustitutin stati: ansers a set f sustitutins initially empty ST [q funtin q returns a set f sustitutins
Yes {} Yes {} nsn issile Yes {} Yes {} issile nemynmeria Yes {xwest} Yes {y} Yes {zn} merianx ihtehy Weapn atinz stilen SellsWestn riminalx
# +. $ {y} issiley {xwest} {zmeria} ail merianx Weapny atinz stilemeria SellsWestmeria riminalx. 0. + 4. + 6 " "
" # $ +.. 0. + :<; = + @ < P UTS W XZY[ \ P _ a` d e f h i j _ ` d e f kml [ [n W p q W X Y[ pr\ [ p [ sut [p Y m x zy { =6 zy } ~ [ W U[pS S p ƒ [ Y P ˆ Š Œ ˆ Š Ž Š Ž
š œ œ ž Ÿ +.. 0. + ;. = + ; ª «± ² ² ± ³ ³ ² ± ³ ² µ P j ` ««_ ` <
š œ œ ž Ÿ +.. 0. + ;. = + ; ª ««k ¹º ¹ ½ ¹¾ º À Á ÃÂ Ä ÂÅ Æ É Æ¹º ¹ ½Ë º ¹ ½Ì º ¹¾ º É À º À Ì º Á ÍÍ ««k m ¹º Î ¹ ½ Î ¹Á ÏÑÐ Ò º Ò Á Ó Ô º Î Ô Á Õ Ð º À Á Ö ÃÂ Ä ÂÅ Æ É Æ¹º Î ¹ ½Ë º Î ¹ ½Ì º Î ¹Á Ï Î Ô º Î Ô Á Õ Ð Ò º Ò Á Ó º ÍÍ
š œ œ ž Ÿ Ø Ú +.. 0. + ; Ø. = + ; Úª ` Ý n W U T Þ r T S\ T n W Y x. :<; Ú = ß. ; Œ ˆ káà Š k à ˆ káà káà ˆ Š ã æåä ˆ Š Œ kç Ž kç kç Ž kç Œ káè Š Ž káè k è Š Ž káè «P é ê ê ë ã æåä é ê ã æåä ê
+. ; Ø True = S {x z} True = Sx x z = Sz {x} P = S True = Px x {y} P = y = Sy «_ í î ï í î Ø Ú. 0. +. = + ; Úª š œ œ ž Ÿ ì
š œ œ ž Ÿ ð Ø Ú. ò. 0. ; Ø. = ò ; Úª d óe i ô Œ ô f d e _ ` [n Ý r \ õ U ö k f Ë _ Ë Œ ˆ d óe k yz Œ ˆ ø ûú ü ë k yz ˆ _
True = alse {x} True = Sx S = alse {zx} True = Sx x z = Sz {x} P = S True = Px x {y} P = y = Sy š œ œ ž Ÿ ý
š œ œ ž Ÿ þ Ø Ú. ò. 0. òß. :. ÿ.. ; @ _ k ó P ` «k P j ï ˆ æ û û ü Š ç ü ä kç ã æ é ç k Š î k Š _ k Œ Œ
š œ œ ž Ø Ú ò 0 ò :<; ß î î f ü ü k#" ü é ü e k ç kç ü ü é ç $ $ û $ $ û ç $ ú kç Œ é ç k#" ü ü é $ å k å ä ûü æ é $ å ó ü k $ å ü $ ú
alse { } illsaktuna { } illsurisitytuna = alse illsaktuna = alse {xak} illsaktuna} illsurisitytuna nimalerx illsxtuna = alse {ytuna} nimalerak nimaltuna {xak} {xtuna} nsx = nimalerx nsak attuna atx = nimalx {y} y = nimalerx nsxy nimalerx nimaly illsxy = alse š œ œ ž Ÿ
š œ œ ž Ø Ú + ò 0 ñò+ Ø ; ñ ò + k k e i _ d e. e 0 _ 4 Ú 6 : _ 6 ; WS <S\ õ U ö p = r S py [p _ ` p [ W p Yr õ U ö X n W p Yr õ U ö
š œ œ ž Ø Ú + ò @ ñò+ ò Ø ò Úª : 6 6 6 ò Ú ò4 Ú P : S UT 6 P W T X : Y 6 : «ó Z ò Úª 4 ò : Y[ 6 \ 6 P µ \ \ \ _